Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley

Source URL: andykeep.com

• Compiler construction
• Programming language implementation
• Compiler optimizations
• Object-oriented programming languages
• Type theory
• Compiler
• Just-in-time compilation
• Interpreter
• Type inference
• Objective-C
• Static single assignment form
• C

ProjectFortress: Overview and Implementation Status Christine H. Flood Sun Labs, Oracle Project Fortress Overview Project Fortress is a programming language with the following tenets:

Source URL: wiki.jvmlangsummit.com

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

McSema: Static Translation of X86 Instructions to LLVM ARTE M DINABURG, ARTE M@ TRAILOFBITS.COM

Source URL: www.trailofbits.com

• Software
• Programming language implementation
• Compilers
• LLVM
• DARPA
• Clang

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Formal languages
• Procedural programming languages
• Programming language implementation
• Parsing algorithms
• Compiler-compiler
• Parsing
• Compiler
• Syntax

Benchmarking Computer Systems Tomas Kalibera My benchmarking background Systems CORBA, Mono, RT Java (Ovm, RTS, WebSphere), Java (OpenJDK,

Source URL: ecoop14.it.uu.se

• Computing
• Computer science
• Academia
• ACM Transactions on Programming Languages and Systems
• International Symposium on Memory Management
• Programming Language Design and Implementation
• Benchmarking
• Uncertainty
• Benchmark
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Standard Performance Evaluation Corporation
• Common Object Request Broker Architecture

Scala,&LMS&and&Delite&for&& High5Performance&DSLs&and&Program&Generators& Tutorial&at&ECOOP&2013:&&scalaBlms.github.io/pldi2013& Tiark&Rompf&

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Software
• Programming language implementation
• Functional languages
• Object-oriented programming languages
• Interpreter
• Compiler
• Scala
• European Conference on Object-Oriented Programming

Design and Implementation of Transactional Constructs for C/C++ Yang Ni James Cownie Adam Welc Ali-Reza Adl-Tabatabai

Source URL: www.adamwelc.org

• Computing
• Software
• Transaction processing
• Concurrency control
• Programming language implementation
• Compiler construction
• Data management
• Software transactional memory
• Transactional memory
• Optimistic concurrency control
• Lock
• Isolation